---

partial recursive predicate

英 [ˈpɑːʃl rɪˈkɜːsɪv ˈpredɪkət] 美 [ˈpɑːrʃl rɪˈkɜːrsɪv ˈpredɪkət]

部分递归谓词

计算机

---

---